Nuprl Definition : fpf-map
0,22
postcript
pdf
fpf-map(
a
,
v
.
f
(
a
;
v
);
x
) == map(
a
.
f
(
a
;2of(
x
)(
a
));1of(
x
))
latex
Definitions
map(
f
;
as
)
,
2of(
t
)
,
1of(
t
)
FDL editor aliases
fpf-map
origin
a.f(a;2of(x)(a));1of(x)) a.f(a;2of(x)(a));1of(x))